cd/entity/Cycle Double Cover Conjecture· home› entities› Cycle Double Cover Conjecture

grep -l @cycle double cover conjecture /news/*.json | wc -l → 2

Cycle Double Cover Conjecture

mentions 2 type Person feed RSS

// recent coverage 2 mentions

21:10

2026-07-10

byteiota.com

artificial-intelligence

GPT-5.6 Sol Ultra Proves 50-Year Math Conjecture Today

OpenAI announced on July 10, 2026, that its GPT-5.6 Sol Ultra model proved the Cycle Double Cover Conjecture, a 50-year-old math problem, using 64 parallel AI subagents in under an hour. The proof, pu…

20:09

2026-07-10

runtimewire.com

artificial-intelligence

OpenAI says GPT-5.6 Sol Ultra produced a proof of a 50-year graph theory problem

OpenAI claims its GPT-5.6 Sol Ultra model produced a candidate proof of the Cycle Double Cover Conjecture, a 50-year-old open problem in graph theory, using 64 subagents in under an hour. The proof, p…

// co-occurs with top 8 entities

OpenAI 2 GPT-5.6 Sol Ultra 2 Ethan Knight 2 Wolfram MathWorld 1 Codex 1 Szekeres 1 Seymour 1 Hacker News 1